Charting method
Hier ist eine Zusammenfassung der wichtigsten Fakten und Statistiken aus dem Transkript in einer Tabelle, auf Deutsch:
Zusammenfassung: Einführung in die Theoretische Philosophie, 2. Vorl., Teil II
| --- | --- | --- | --- |
|---|---|---|---|
| **Vorlesungsinformationen** | Titel | Einführung in die Theoretische Philosophie, 2. Vorl., Teil II | [00:00:00](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=0.0) |
| Kanal | Paul Hoyningen | [00:00:00](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=0.0) | |
| Thema | Logik | [00:00:42](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=42.8) | |
| Tempo | Angemessen (Rückmeldung vom Publikum) | [00:00:29](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=29.8) | |
| **Grundlagen der Logik** | Hauptthemen der Logik | Logische Folgerung, Logische Wahrheit | [00:00:48](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=48.6) |
| Beispiel Logische Folgerung | "Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also Sokrates ist sterblich." | [00:01:03](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=63.0) | |
| Terminologie Logische Folgerung | Prämissen (obere Sätze), Konklusion (unterer Satz) | [00:01:20](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=80.8) | |
| Charakteristik Logische Folgerung | Zwingender Übergang, "Wahrheitstransfer" (nicht-standardisierter Begriff des Dozenten) | [00:01:34](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=94.2) | |
| Beispiel Logische Wahrheit | "Wenn der Hahn kräht auf dem Mist, dann ändert sich das Wetter oder es bleibt wie es ist." | [00:03:46](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=226.3) | |
| Charakteristik Logische Wahrheit | Eigenartige "Leerheit", aber unbezweifelbar wahr | [00:04:43](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=283.0) | |
| Aufgabe der Logik | Untersuchung korrekter logischer Schlüsse und logischer Wahrheiten | [00:03:11](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=191.4) | |
| **Historische Entwicklung der Logik** | Frühere Bezeichnungen für Logik | Dialektik | [00:06:23](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=383.4) |
| Einführung des Begriffs "Formale Logik" | Immanuel Kant (1724-1804) in der "Kritik der reinen Vernunft" (1781/1787) | [00:06:55](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=415.7) | |
| Kants andere Logik-Disziplin | Transzendentale Logik | [00:08:56](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=536.9) | |
| Phasen der Logik | 1. Phase: Aristotelische Logik (Syllogistik, Klassische Logik), 2. Phase: Moderne Logik (Mathematische Logik, Logistik) | [00:09:20](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=560.5) | |
| **1. Phase: Aristotelische Logik (Syllogistik)** | Beginn | Aristoteles (4. Jahrhundert v. Chr., 384-322 v. Chr.) | [00:09:36](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=576.1) |
| Hauptwerk | "Erste Analytik" (Analytica Priora), Teil des Organon | [00:10:10](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=610.3) | |
| Dominanz | Bis Ende des 19. Jahrhunderts | [00:10:36](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=636.2) | |
| Bezeichnung | Syllogistik, Klassische Logik | [00:10:55](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=655.8) | |
| Herkunft "Syllogistik" | Griechisch "syllogismos" (Schluss) = Schlusslehre | [00:14:08](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=848.5) | |
| Untersuchte Aussagetypen | Allgemein bejahend ("Alle S sind P"), Allgemein verneinend ("Kein S ist P"), Partikulär bejahend ("Einige S sind P"), Partikulär verneinend ("Einige S sind nicht P") | [00:15:08](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=908.7) | |
| Terminologie | Subjektbegriff (S), Prädikatbegriff (P) | [00:16:12](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=972.0) | |
| Beispiel Syllogistischer Schluss | "Alle Griechen sind Menschen. Alle Menschen sind sterblich. Also alle Griechen sind sterblich." | [00:16:58](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1018.7) | |
| **2. Phase: Moderne Logik** | Beginn | Gottlob Frege (1848-1925), zweite Hälfte des 19. Jahrhunderts | [00:11:13](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=673.5) |
| Hauptwerk | "Begriffsschrift, eine der arithmetischen Formelsprache nachgebildete Formelsprache des reinen Denkens" (1879) | [00:11:26](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=686.2) | |
| Ursprung der Entwicklung | Formalisierung der Schlussweisen der Mathematik im 19. Jahrhundert | [00:18:14](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1094.8) | |
| Bezeichnung | Moderne Logik, Mathematische Logik, Logistik (verwirrend) | [00:13:01](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=781.2) | |
| **Unterschiede Klassische vs. Moderne Logik** | 1. Umfang | Moderne Logik geht weit über Syllogistik hinaus, erfasst mehr gültige Schlüsse (z.B. "Alle Pferde sind Tiere, also alle Köpfe von Pferden sind Köpfe von Tieren") | [00:21:31](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1291.2) |
| 2. Existenzpräsupposition | Klassische Logik: "Alle S sind P" präsupponiert, dass S existieren. Moderne Logik: Keine Existenzpräsupposition (wie in der Mathematik üblich). | [00:23:22](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1402.1) | |
| Beispiel: Aus "Alle S sind P" folgt in klassischer Logik "Einige S sind P", in moderner Logik nicht. | [00:28:05](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1685.7) | ||
| 3. Verhältnis zur Mathematik | Klassische Logik war unabhängig von Mathematik. Formaler Teil der modernen Logik ist selbst ein Teil der Mathematik. | [00:29:35](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1775.7) | |
| Relevanz der klassischen Logik | Notwendig für das Verständnis älterer philosophischer Texte (z.B. Kant) | [00:31:20](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1880.1) | |
| **Der Begriff der Logischen Form** | Kernkonzept | Für die Gültigkeit logischer Schlüsse ist die logische Form der beteiligten Aussagen ausschlaggebend. | [00:33:51](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2031.9) |
| Definition | Isolierung und Hervorhebung der Elemente, die für die Gültigkeit der Schlüsse verantwortlich sind. | [00:37:05](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2225.7) | |
| Beispiel | "Alle A sind B. Alle B sind C. Also alle A sind C." (A, B, C sind Platzhalter für Begriffe) | [00:35:46](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2146.4) | |
| Darstellung | Logische Formen werden mittels logischer Formeln dargestellt. | [00:39:15](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2355.2) | |
| Beispiel Syllogistik Formel | Alle S sind P (als MP) | [00:39:29](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2369.4) | |
| Beispiel Aussagenlogik Formel | P v Q, ¬P, also Q (P, Q sind Platzhalter für Aussagen; v = oder, ¬ = nicht) | [00:44:45](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2685.5) | |
| Symbolik | Einführung von Zeichen für logische Operatoren (z.B. v für "oder", ¬ für "nicht", ^ für "und", → für "wenn-dann") | [00:45:27](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2727.6) | |
| **Zusätzliche Informationen** | Zeitlose Wahrheit | Wahrheit bedeutet normalerweise zeitlose Wahrheit; historische Änderungen der "Wahrheit" sind keine logische Frage. | [00:42:18](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2538.1) |